More from this Author

Formal Methods in Computer-Aided Design

by Alan J. Hu (Editor), Andrew K. Martin (Editor)

Hardware and Software: Verification and Testing

by Hana Chockler (Editor), Alan J. Hu (Editor)